$i$ = $\pm$ $j$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($i$ = $j$ $\in$ $\mathbb{Z}$) $\vee$ ($i$ = ({-}$j$) $\in$ $\mathbb{Z}$)